341. Programming logic for business
پدیدآورنده : Laura Saret
کتابخانه: Library of Faculty of Literature and Humanities Sciences of Kashan University (Esfahan)
موضوع : Business- Data processing,Computer programming,Structured programming
رده :
658
.
05421
S244P
Ed
.
4
342. Programming logic for business
پدیدآورنده : / Laura Saret
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Business - Data processing,Computer programming,Strutured programming
رده :
HF5548
.
2
.
S238
2001
343. Programming logic for business applications
پدیدآورنده : Noemi Paz, Keiko Pitter, William Leigh,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Business - Data processing,Electronic digital computers - Programming,Structured programming
رده :
HF
.
P39
5548
.
2
1988
344. Programming with higher-order logic /
پدیدآورنده : Dale Miller, Gopalan Nadathur.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming.,Prolog (Computer program language)
رده :
QA76
.
63
.
M554
2012
345. Progress in artificial intelligence : knowledge extraction, multi-agent systems, logic programming and constraint solving : 10th portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001 : proceedings
پدیدآورنده : Pavel Brazdil, Alipio Jorge, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
2258
346. Prolog++ : the power of object-oriented and logic programming
پدیدآورنده : Moss, Christopher D. S.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Prolog++ )Computer program language(,، Object-oriented programming )Computer science(,، Logic programming
رده :
QA
76
.
73
.
P2
.
M69
1994
347. Reasoning with logic programming
پدیدآورنده : Alferes, Jose Julio
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic programming,، Reasoning
رده :
QA
76
.
L28
Vol
.
1111
348. 30, 2010. Revised Papers-Inductive Logic Programming: 20th International Conference, ILP 2010, Florence, Italy, June 27
پدیدآورنده : / Michael Kifer (auth.), Paolo Frasconi, Francesca A. Lisi (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
349. 04, 2009. Revised Papers-Inductive Logic Programming: 19th International Conference, ILP 2009, Leuven, Belgium, July 02
پدیدآورنده : / Kamal Ali, Kevin Leung, Tolga Konik, Dongkyu Choi (auth.), Luc De Raedt (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
350. Solving higher-order equations: from logic to programming
پدیدآورنده : Prehofer, Christian
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer logic,، Declarative programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L63
.
P74
1997
351. Starting Out with Programming Logic and Design
پدیدآورنده : / Tony Gaddis
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
352. Structured programming logic:a flowcharting approach
پدیدآورنده : JONES,JETTY LEE
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : STRUCTURED PROGRAMMING , FLOW CHARTS
رده :
QA
76
.
6
.
J665
353. Studies in automatic programming logic
پدیدآورنده : Manna, Zohar.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Automatic programming )Computer science(,، Computer programs
رده :
QA
76
.
6
.
M357
354. Systems Programming In Parallel Logic Languages
پدیدآورنده : Ian Foster
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Systems Programming (computer science),Parallel Processing (electronic computers)
رده :
QA
،
76
.
66
،.
F67
،
1990
355. Systems programming in parallel logic languages
پدیدآورنده : Foster, Ian
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Systems programming )Computer science(,، Parallel processing )Electronic computers(
رده :
QA
76
.
66
.
F67
1990
356. Systems programming in parallel logic languages
پدیدآورنده : Ian Foster
موضوع : Systems programming (Computer science),Parallel processing (Electronic computers)
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
357. The Logic programming paradigm :
پدیدآورنده : K.R. Apt [and others] eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming.,Logisch programmeren.,Programmation logique.
رده :
QA76
.
63
K737
1999
358. The logic of programming
پدیدآورنده : Hehner, Eric C. R.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H427
1984
359. The logic of programming
پدیدآورنده : Hehner, Eric C. R.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H427
1984
360. The logic of programming
پدیدآورنده : Hehner, Eric C R
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H42
1984
